On Some Axiomatic Extensions of the Monoidal T-norm Based Logic MTL: an Analysis in the Propositional and in the First-order Case

The realization of this monograph has needed some permissions to use copyrighted material. Hence I would like to thank Springer (chapters 6, 7, 8 are derived from papers [ABM09a, BM09, BM10]) and Professors S. Burris and H.P. Sankappanavar (some of the figures in the appendix are taken from the electronic version of their book [BS81]) to have granted their permissions. I profit also to thank Professors Vincenzo Capasso, Stefano Aguzzoli and the publisher that have made possible the realization of this book.